The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Alessandro Cimatti Books

Results for Alessandro Cimatti

Showing 1 to 3 of 3 results
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering) Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering) by

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering)

by


ISBN 13: 9783540343042

Format: Paperback (250 pages)
Publisher: Springer
Published: 15 May 2006

Save for later

 
New : $73.49  
New : $73.49
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings: 7317 (Lecture Notes in Computer Science) Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings: 7317 (Lecture Notes in Computer Science) by Alessandro Cimatti,Roberto Sebastiani

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings: 7317 (Lecture Notes in Computer Science)

by Alessandro Cimatti,Roberto Sebastiani


ISBN 13: 9783642316111

Format: Paperback (520 pages)
Publisher: Springer
Published: 22 Jun 2012

Save for later

 
New : $74.69  
New : $74.69
Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings: 10469 (Lecture Notes in Computer Science) Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings: 10469 (Lecture Notes in Computer Science) by Alessandro Cimatti,Marjan Sirjani

Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings: 10469 (Lecture Notes in Computer Science)

by Alessandro Cimatti,Marjan Sirjani


ISBN 13: 9783319661964

Format: Paperback (432 pages)
Publisher: Springer
Published: 16 Sep 2017

Save for later

 
New : $70.10  
New : $70.10